Abstract CPU Modeling and Refinement in Metropolis
نویسندگان
چکیده
CPU Modeling and Refinement in Metropolis
منابع مشابه
Modeling Microarchitectural Performance using Metropolis: ARM Case Study Update
This report provides a progress update on our microarchitectural modeling of the XScale and Strongarm processors using a process-networks model of computation within the Metropolis design framework. This work provides rapid and accurate specification of microarchitectural performance models for CPU’s. In particular, we present the two major improvements from our previous report. First, we moved...
متن کاملMetropolis: A Development Environment to Facilitate Platform-Based Design
Metropolis is an integrated development environment for system-level design that embodies the concepts of the platform-based design methodology. Metropolis is based on a Metamodel with formal semantics and allows not only design capture, but also formal analysis, synthesis and simulation. After reviewing the basic concepts behind Metropolis, we will describe a realistic use-case scenario that s...
متن کاملOptimization and uncertainty assessment of strongly nonlinear groundwater models with high parameter dimensionality
[1] Highly parameterized and CPU‐intensive groundwater models are increasingly being used to understand and predict flow and transport through aquifers. Despite their frequent use, these models pose significant challenges for parameter estimation and predictive uncertainty analysis algorithms, particularly global methods which usually require very large numbers of forward runs. Here we present ...
متن کاملApproximate Bayesian Computation using Markov Chain Monte Carlo simulation: DREAM(ABC)
The quest for a more powerful method for model evaluation has inspired Vrugt and Sadegh (2013) to introduce ‘‘likelihood-free’’ inference as vehicle for diagnostic model evaluation. This class of methods is also referred to as Approximate Bayesian Computation (ABC) and relaxes the need for a residualbased likelihood function in favor of one or multiple different summary statistics that exhibit ...
متن کاملClass and State Machine Refinement in UML-B
UML-B is a ’UML-like’ graphical front end for Event-B. It adds support for object oriented modeling concepts while visually retaining the Event-B modeling concepts. In the continuity of the work on UML-B, we strengthen its refinement concepts. Development in Event-B is done through refinements of an abstract model. Since Event-B is reflected in UML-B, the abstraction-refinement concepts must al...
متن کامل